home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / bug.typ < prev    next >
Encoding:
Text File  |  1985-11-20  |  14.7 KB  |  311 lines
  1. This is DVItype, Tops-20 Version 2.8
  2. Options selected:
  3.   Starting page = * 
  4.   Maximum number of pages = 1000000
  5.   Output level = 3 (the works)
  6.   Resolution =  300.00000000 pixels per inch
  7. numerator/denominator=25400000/473628672
  8. magnification=1000;       0.00006334 pixels per DVI unit
  9. ' TeX output 1985.10.13:1505'
  10. Postamble starts at byte 525.
  11. maxv=40763392, maxh=26738688, maxstackdepth=3, totalpages=1
  12. Font 28: amti10---loaded at size 655360 DVI units 
  13. Font 27: amsy10---loaded at size 655360 DVI units 
  14. Font 26: ammi10---loaded at size 655360 DVI units 
  15. Font 25: amr10---loaded at size 655360 DVI units 
  16.  
  17. 42: beginning of page 1 
  18. 87: down4 40763392 v:=0+40763392=40763392, vv:=2582 
  19. 92: push 
  20. level 0:(h=0,v=40763392,w=0,x=0,y=0,z=0,hh=0,vv=2582) 
  21. 93: down4 -38207488 v:=40763392-38207488=2555904, vv:=162 
  22. 98: down4 36241408 v:=2555904+36241408=38797312, vv:=2457 
  23. 103: push 
  24. level 1:(h=0,v=38797312,w=0,x=0,y=0,z=0,hh=0,vv=2457) 
  25. 104: down4 -33947648 v:=38797312-33947648=4849664, vv:=307 
  26. 109: push 
  27. level 2:(h=0,v=4849664,w=0,x=0,y=0,z=0,hh=0,vv=307) 
  28. 110: right3 4128768 h:=0+4128768=4128768, hh:=262 
  29. [ ]
  30. 114: fntdef1 25: amr10 
  31. 135: fntnum25 current font is amr10 
  32. 136: setchar83 h:=4128768+364088=4492856, hh:=285 
  33. 137: setchar111 h:=4492856+327680=4820536, hh:=306 
  34. 138: w3 201690 h:=4820536+201690=5022226, hh:=318 
  35. 142: setchar119 h:=5022226+473315=5495541, hh:=348 
  36. 143: x2 -18205 h:=5495541-18205=5477336, hh:=347 
  37. 146: setchar101 h:=5477336+291271=5768607, hh:=365 
  38. 147: w0 201690 h:=5768607+201690=5970297, hh:=378 
  39. 148: setchar101 h:=5970297+291271=6261568, hh:=396 
  40. 149: setchar120 h:=6261568+345884=6607452, hh:=418 
  41. 150: setchar112 h:=6607452+364088=6971540, hh:=441 
  42. 151: right2 18204 h:=6971540+18204=6989744, hh:=442 
  43. 154: setchar101 h:=6989744+291271=7281015, hh:=460 
  44. 155: setchar99 h:=7281015+291271=7572286, hh:=478 
  45. 156: setchar116 h:=7572286+254862=7827148, hh:=494 
  46. 157: w0 201690 h:=7827148+201690=8028838, hh:=509 
  47. 158: setchar116 h:=8028838+254862=8283700, hh:=525 
  48. 159: setchar111 h:=8283700+327680=8611380, hh:=546 
  49. 160: w0 201690 h:=8611380+201690=8813070, hh:=558 
  50. 161: setchar109 h:=8813070+546133=9359203, hh:=593 
  51. 162: setchar97 h:=9359203+327680=9686883, hh:=614 
  52. 163: setchar107 h:=9686883+345884=10032767, hh:=636 
  53. 164: x0 -18205 h:=10032767-18205=10014562, hh:=635 
  54. 165: setchar101 h:=10014562+291271=10305833, hh:=653 
  55. 166: w0 201690 h:=10305833+201690=10507523, hh:=666 
  56. 167: setchar40 h:=10507523+254862=10762385, hh:=682 
  57. 168: setchar54 h:=10762385+327680=11090065, hh:=703 
  58. 169: w3 112107 h:=11090065+112107=11202172, hh:=710 
  59. [So we expect to make (6 ]
  60. 173: fntdef1 27: amsy10 
  61. 195: fntnum27 current font is amsy10 
  62. 196: setchar1 h:=11202172+182044=11384216, hh:=722 
  63. 197: w0 112107 h:=11384216+112107=11496323, hh:=728 
  64. [ ]
  65. 198: fntnum25 current font is amr10 
  66. 199: setchar49 h:=11496323+327680=11824003, hh:=749 
  67. 200: setchar55 h:=11824003+327680=12151683, hh:=770 
  68. 201: setchar50 h:=12151683+327680=12479363, hh:=791 
  69. 202: w0 112107 h:=12479363+112107=12591470, hh:=798 
  70. [172 ]
  71. 203: fntnum27 current font is amsy10 
  72. 204: setchar0 h:=12591470+509724=13101194, hh:=830 
  73. 205: w0 112107 h:=13101194+112107=13213301, hh:=837 
  74. [ ]
  75. 206: fntnum25 current font is amr10 
  76. 207: setchar49 h:=13213301+327680=13540981, hh:=858 
  77. 208: setchar48 h:=13540981+327680=13868661, hh:=879 
  78. 209: setchar48 h:=13868661+327680=14196341, hh:=900 
  79. 210: setchar48 h:=14196341+327680=14524021, hh:=921 
  80. 211: setchar41 h:=14524021+254862=14778883, hh:=937 
  81. [1000)]
  82. 212: fntdef1 26: ammi10 
  83. 234: fntnum26 current font is ammi10 
  84. 235: setchar61 h:=14778883+327680=15106563, hh:=958 
  85. [=]
  86. 236: fntnum25 current font is amr10 
  87. 237: setchar49 h:=15106563+327680=15434243, hh:=979 
  88. 238: setchar48 h:=15434243+327680=15761923, hh:=1000 
  89. 239: setchar48 h:=15761923+327680=16089603, hh:=1021 
  90. 240: setchar48 h:=16089603+327680=16417283, hh:=1042 
  91. 241: w3 201690 h:=16417283+201690=16618973, hh:=1053 
  92. 245: setchar100 h:=16618973+364088=16983061, hh:=1076 
  93. 246: setchar111 h:=16983061+327680=17310741, hh:=1097 
  94. 247: setchar108 h:=17310741+182044=17492785, hh:=1109 
  95. 248: setchar108 h:=17492785+182044=17674829, hh:=1121 
  96. 249: setchar97 h:=17674829+327680=18002509, hh:=1142 
  97. 250: setchar114 h:=18002509+258958=18261467, hh:=1158 
  98. 251: setchar115 h:=18261467+258503=18519970, hh:=1174 
  99. 252: setchar44 h:=18519970+182044=18702014, hh:=1186 
  100. 253: right3 205043 h:=18702014+205043=18907057, hh:=1198 
  101. 257: setchar119 h:=18907057+473315=19380372, hh:=1228 
  102. 258: setchar104 h:=19380372+364088=19744460, hh:=1251 
  103. 259: setchar105 h:=19744460+182044=19926504, hh:=1263 
  104. 260: setchar99 h:=19926504+291271=20217775, hh:=1281 
  105. 261: x0 -18205 h:=20217775-18205=20199570, hh:=1280 
  106. 262: setchar104 h:=20199570+364088=20563658, hh:=1303 
  107. 263: w0 201690 h:=20563658+201690=20765348, hh:=1315 
  108. 264: setchar105 h:=20765348+182044=20947392, hh:=1327 
  109. 265: setchar115 h:=20947392+258503=21205895, hh:=1343 
  110. 266: w0 201690 h:=21205895+201690=21407585, hh:=1356 
  111. 267: setchar51 h:=21407585+327680=21735265, hh:=1377 
  112. 268: setchar46 h:=21735265+182044=21917309, hh:=1389 
  113. 269: setchar50 h:=21917309+327680=22244989, hh:=1410 
  114. 270: w0 201690 h:=22244989+201690=22446679, hh:=1422 
  115. 271: setchar99 h:=22446679+291271=22737950, hh:=1440 
  116. 272: setchar101 h:=22737950+291271=23029221, hh:=1458 
  117. 273: setchar110 h:=23029221+364088=23393309, hh:=1481 
  118. 274: x0 -18205 h:=23393309-18205=23375104, hh:=1480 
  119. 275: setchar116 h:=23375104+254862=23629966, hh:=1496 
  120. 276: setchar115 h:=23629966+258503=23888469, hh:=1512 
  121. 277: setchar44 h:=23888469+182044=24070513, hh:=1524 
  122. 278: right3 205043 h:=24070513+205043=24275556, hh:=1538 
  123. 282: setchar112 h:=24275556+364088=24639644, hh:=1561 
  124. 283: right2 18204 h:=24639644+18204=24657848, hh:=1562 
  125. 286: setchar101 h:=24657848+291271=24949119, hh:=1580 
  126. 287: setchar114 h:=24949119+258958=25208077, hh:=1596 
  127. 288: w0 201690 h:=25208077+201690=25409767, hh:=1609 
  128. 289: setchar112 h:=25409767+364088=25773855, hh:=1632 
  129. 290: setchar108 h:=25773855+182044=25955899, hh:=1644 
  130. 291: setchar97 h:=25955899+327680=26283579, hh:=1665 
  131. 292: x0 -18205 h:=26283579-18205=26265374, hh:=1664 
  132. 293: setchar121 h:=26265374+345884=26611258, hh:=1686 
  133. 294: right3 -54614 h:=26611258-54614=26556644, hh:=1683 
  134. 298: setchar46 h:=26556644+182044=26738688, hh:=1695 
  135. [1000 dollars, which is 3.2 cents, per play.]
  136. 299: pop 
  137. level 2:(h=0,v=4849664,w=0,x=0,y=0,z=0,hh=0,vv=307) 
  138. 300: y3 786432 v:=4849664+786432=5636096, vv:=357 
  139. 304: push 
  140. level 2:(h=0,v=5636096,w=0,x=0,y=786432,z=0,hh=0,vv=357) 
  141. 305: right3 4128768 h:=0+4128768=4128768, hh:=262 
  142. [ ]
  143. 309: fntdef1 28: amti10 
  144. 331: fntnum28 current font is amti10 
  145. 332: setchar87 h:=4128768+653175=4781943, hh:=303 
  146. 333: setchar101 h:=4781943+301465=5083408, hh:=322 
  147. 334: setchar44 h:=5083408+200976=5284384, hh:=335 
  148. 335: x3 188001 h:=5284384+188001=5472385, hh:=347 
  149. [We, ]
  150. 339: fntnum25 current font is amr10 
  151. 340: setchar110 h:=5472385+364088=5836473, hh:=370 
  152. 341: setchar111 h:=5836473+327680=6164153, hh:=391 
  153. 342: setchar116 h:=6164153+254862=6419015, hh:=407 
  154. 343: w3 180388 h:=6419015+180388=6599403, hh:=418 
  155. 347: setchar116 h:=6599403+254862=6854265, hh:=434 
  156. 348: setchar104 h:=6854265+364088=7218353, hh:=457 
  157. 349: setchar101 h:=7218353+291271=7509624, hh:=475 
  158. 350: w0 180388 h:=7509624+180388=7690012, hh:=487 
  159. 351: setchar104 h:=7690012+364088=8054100, hh:=510 
  160. 352: setchar111 h:=8054100+327680=8381780, hh:=531 
  161. 353: setchar117 h:=8381780+364088=8745868, hh:=554 
  162. 354: setchar115 h:=8745868+258503=9004371, hh:=570 
  163. 355: setchar101 h:=9004371+291271=9295642, hh:=588 
  164. 356: setchar44 h:=9295642+182044=9477686, hh:=600 
  165. 357: x0 188001 h:=9477686+188001=9665687, hh:=612 
  166. 358: setchar104 h:=9665687+364088=10029775, hh:=635 
  167. 359: setchar97 h:=10029775+327680=10357455, hh:=656 
  168. 360: w2 -18205 h:=10357455-18205=10339250, hh:=655 
  169. 363: setchar118 h:=10339250+345884=10685134, hh:=677 
  170. 364: w0 -18205 h:=10685134-18205=10666929, hh:=676 
  171. 365: setchar101 h:=10666929+291271=10958200, hh:=694 
  172. 366: w3 180388 h:=10958200+180388=11138588, hh:=706 
  173. 370: setchar116 h:=11138588+254862=11393450, hh:=722 
  174. 371: setchar104 h:=11393450+364088=11757538, hh:=745 
  175. 372: setchar101 h:=11757538+291271=12048809, hh:=763 
  176. 373: w0 180388 h:=12048809+180388=12229197, hh:=775 
  177. 374: setchar97 h:=12229197+327680=12556877, hh:=796 
  178. 375: setchar100 h:=12556877+364088=12920965, hh:=819 
  179. 376: setchar118 h:=12920965+345884=13266849, hh:=841 
  180. 377: right3 -36409 h:=13266849-36409=13230440, hh:=839 
  181. 381: setchar97 h:=13230440+327680=13558120, hh:=860 
  182. 382: setchar110 h:=13558120+364088=13922208, hh:=883 
  183. 383: x2 -18205 h:=13922208-18205=13904003, hh:=882 
  184. 386: setchar116 h:=13904003+254862=14158865, hh:=898 
  185. 387: setchar97 h:=14158865+327680=14486545, hh:=919 
  186. 388: setchar103 h:=14486545+327680=14814225, hh:=940 
  187. 389: setchar101 h:=14814225+291271=15105496, hh:=958 
  188. 390: w0 180388 h:=15105496+180388=15285884, hh:=968 
  189. 391: setchar40 h:=15285884+254862=15540746, hh:=984 
  190. 392: setchar111 h:=15540746+327680=15868426, hh:=1005 
  191. 393: setchar102 h:=15868426+200248=16068674, hh:=1018 
  192. 394: w0 180388 h:=16068674+180388=16249062, hh:=1029 
  193. 395: setchar99 h:=16249062+291271=16540333, hh:=1047 
  194. 396: setchar111 h:=16540333+327680=16868013, hh:=1068 
  195. 397: setchar117 h:=16868013+364088=17232101, hh:=1091 
  196. 398: setchar114 h:=17232101+258958=17491059, hh:=1107 
  197. 399: setchar115 h:=17491059+258503=17749562, hh:=1123 
  198. 400: setchar101 h:=17749562+291271=18040833, hh:=1141 
  199. 401: w0 180388 h:=18040833+180388=18221221, hh:=1154 
  200. 402: setchar102 h:=18221221+200248=18421469, hh:=1167 
  201. 403: setchar111 h:=18421469+327680=18749149, hh:=1188 
  202. 404: setchar114 h:=18749149+258958=19008107, hh:=1204 
  203. 405: w0 180388 h:=19008107+180388=19188495, hh:=1215 
  204. 406: setchar97 h:=19188495+327680=19516175, hh:=1236 
  205. 407: setchar108 h:=19516175+182044=19698219, hh:=1248 
  206. 408: setchar108 h:=19698219+182044=19880263, hh:=1260 
  207. 409: w0 180388 h:=19880263+180388=20060651, hh:=1271 
  208. 410: setchar119 h:=20060651+473315=20533966, hh:=1301 
  209. 411: x0 -18205 h:=20533966-18205=20515761, hh:=1300 
  210. 412: setchar101 h:=20515761+291271=20807032, hh:=1318 
  211. 413: w0 180388 h:=20807032+180388=20987420, hh:=1329 
  212. 414: setchar107 h:=20987420+345884=21333304, hh:=1351 
  213. 415: setchar110 h:=21333304+364088=21697392, hh:=1374 
  214. 416: setchar111 h:=21697392+327680=22025072, hh:=1395 
  215. 417: x0 -18205 h:=22025072-18205=22006867, hh:=1394 
  216. 418: setchar119 h:=22006867+473315=22480182, hh:=1424 
  217. 419: w0 180388 h:=22480182+180388=22660570, hh:=1435 
  218. 420: setchar116 h:=22660570+254862=22915432, hh:=1451 
  219. 421: setchar104 h:=22915432+364088=23279520, hh:=1474 
  220. 422: setchar101 h:=23279520+291271=23570791, hh:=1492 
  221. 423: w0 180388 h:=23570791+180388=23751179, hh:=1504 
  222. 424: setchar104 h:=23751179+364088=24115267, hh:=1527 
  223. 425: setchar111 h:=24115267+327680=24442947, hh:=1548 
  224. 426: setchar117 h:=24442947+364088=24807035, hh:=1571 
  225. 427: setchar115 h:=24807035+258503=25065538, hh:=1587 
  226. 428: setchar101 h:=25065538+291271=25356809, hh:=1605 
  227. 429: w0 180388 h:=25356809+180388=25537197, hh:=1618 
  228. 430: setchar109 h:=25537197+546133=26083330, hh:=1653 
  229. 431: setchar97 h:=26083330+327680=26411010, hh:=1674 
  230. 432: x0 -18205 h:=26411010-18205=26392805, hh:=1673 
  231. 433: setchar121 h:=26392805+345884=26738689, hh:=1695 
  232. [not the house, have the advantage (of course for all we know the house may]
  233. 434: pop 
  234. level 2:(h=0,v=5636096,w=0,x=0,y=786432,z=0,hh=0,vv=357) 
  235. 435: y0 786432 v:=5636096+786432=6422528, vv:=407 
  236. 436: push 
  237. level 2:(h=0,v=6422528,w=0,x=0,y=786432,z=0,hh=0,vv=407) 
  238. 437: right3 4128768 h:=0+4128768=4128768, hh:=262 
  239. 441: setchar104 h:=4128768+364088=4492856, hh:=285 
  240. 442: setchar97 h:=4492856+327680=4820536, hh:=306 
  241. 443: w2 -18205 h:=4820536-18205=4802331, hh:=305 
  242. 446: setchar118 h:=4802331+345884=5148215, hh:=327 
  243. 447: w0 -18205 h:=5148215-18205=5130010, hh:=326 
  244. 448: setchar101 h:=5130010+291271=5421281, hh:=344 
  245. 449: w3 218453 h:=5421281+218453=5639734, hh:=357 
  246. 453: setchar109 h:=5639734+546133=6185867, hh:=392 
  247. 454: setchar97 h:=6185867+327680=6513547, hh:=413 
  248. 455: setchar100 h:=6513547+364088=6877635, hh:=436 
  249. 456: setchar101 h:=6877635+291271=7168906, hh:=454 
  250. 457: w0 218453 h:=7168906+218453=7387359, hh:=468 
  251. 458: setchar115 h:=7387359+258503=7645862, hh:=484 
  252. 459: setchar111 h:=7645862+327680=7973542, hh:=505 
  253. 460: setchar109 h:=7973542+546133=8519675, hh:=540 
  254. 461: setchar101 h:=8519675+291271=8810946, hh:=558 
  255. 462: w0 218453 h:=8810946+218453=9029399, hh:=572 
  256. 463: setchar110 h:=9029399+364088=9393487, hh:=595 
  257. 464: w2 -18205 h:=9393487-18205=9375282, hh:=594 
  258. 467: setchar117 h:=9375282+364088=9739370, hh:=617 
  259. 468: setchar109 h:=9739370+546133=10285503, hh:=652 
  260. 469: w0 -18205 h:=10285503-18205=10267298, hh:=651 
  261. 470: setchar98 h:=10267298+364088=10631386, hh:=674 
  262. 471: right2 18204 h:=10631386+18204=10649590, hh:=675 
  263. 474: setchar101 h:=10649590+291271=10940861, hh:=693 
  264. 475: setchar114 h:=10940861+258958=11199819, hh:=709 
  265. 476: setchar115 h:=11199819+258503=11458322, hh:=725 
  266. 477: w3 218453 h:=11458322+218453=11676775, hh:=740 
  267. 481: setchar97 h:=11676775+327680=12004455, hh:=761 
  268. 482: setchar114 h:=12004455+258958=12263413, hh:=777 
  269. 483: setchar101 h:=12263413+291271=12554684, hh:=795 
  270. 484: w0 218453 h:=12554684+218453=12773137, hh:=809 
  271. 485: setchar109 h:=12773137+546133=13319270, hh:=844 
  272. 486: setchar111 h:=13319270+327680=13646950, hh:=865 
  273. 487: setchar114 h:=13646950+258958=13905908, hh:=881 
  274. 488: setchar101 h:=13905908+291271=14197179, hh:=899 
  275. 489: w0 218453 h:=14197179+218453=14415632, hh:=913 
  276. 490: setchar101 h:=14415632+291271=14706903, hh:=931 
  277. 491: setchar113 h:=14706903+345884=15052787, hh:=953 
  278. 492: setchar117 h:=15052787+364088=15416875, hh:=976 
  279. 493: setchar97 h:=15416875+327680=15744555, hh:=997 
  280. 494: setchar108 h:=15744555+182044=15926599, hh:=1009 
  281. 495: w0 218453 h:=15926599+218453=16145052, hh:=1023 
  282. 496: setchar116 h:=16145052+254862=16399914, hh:=1039 
  283. 497: setchar104 h:=16399914+364088=16764002, hh:=1062 
  284. 498: setchar97 h:=16764002+327680=17091682, hh:=1083 
  285. 499: setchar110 h:=17091682+364088=17455770, hh:=1106 
  286. 500: w0 218453 h:=17455770+218453=17674223, hh:=1119 
  287. 501: setchar111 h:=17674223+327680=18001903, hh:=1140 
  288. 502: setchar116 h:=18001903+254862=18256765, hh:=1156 
  289. 503: setchar104 h:=18256765+364088=18620853, hh:=1179 
  290. 504: setchar101 h:=18620853+291271=18912124, hh:=1197 
  291. 505: setchar114 h:=18912124+258958=19171082, hh:=1213 
  292. 506: setchar115 h:=19171082+258503=19429585, hh:=1229 
  293. 507: setchar41 h:=19429585+254862=19684447, hh:=1245 
  294. 508: setchar46 h:=19684447+182044=19866491, hh:=1257 
  295. [ have made some numbers are more equal than others).]
  296. 509: pop 
  297. level 2:(h=0,v=6422528,w=0,x=0,y=786432,z=0,hh=0,vv=407) 
  298. 510: pop 
  299. level 1:(h=0,v=38797312,w=0,x=0,y=0,z=0,hh=0,vv=2457) 
  300. 511: down3 1966080 v:=38797312+1966080=40763392, vv:=2582 
  301. 515: push 
  302. level 1:(h=0,v=40763392,w=0,x=0,y=0,z=0,hh=0,vv=2582) 
  303. 516: right4 15269888 h:=0+15269888=15269888, hh:=967 
  304. 521: setchar49 h:=15269888+327680=15597568, hh:=988 
  305. [ 1]
  306. 522: pop 
  307. level 1:(h=0,v=40763392,w=0,x=0,y=0,z=0,hh=0,vv=2582) 
  308. 523: pop 
  309. level 0:(h=0,v=40763392,w=0,x=0,y=0,z=0,hh=0,vv=2582) 
  310. 524: eop 
  311.